# Targets
TARGETS := tty_test.bin

# Source files required to build the target
CFILES   := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
ASMFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/crt/arch-${ARCH}/crt0.S))

# Libraries required to build the target
LIBS := sel4c sel4 sos 
#export DEBUG=1
include $(SEL4_COMMON)/common.mk
